home *** CD-ROM | disk | FTP | other *** search
- BEGIN {
- FS="\"";
- print "/* Do not modify this file; it is created automatically";
- print " by copying.awk. */";
- print "extern int immediate_quit;";
- print "static void";
- print "copying_info ()";
- print "{";
- print " immediate_quit++;";
- }
- NR == 1,/^[ ]*NO WARRANTY[ ]*$/ {
- if (! ($0 ~ /^[ ]*NO WARRANTY[ ]*$/))
- {
- printf " printf_filtered (\"";
- for (i = 1; i < NF; i++)
- printf "%s\\\"", $i;
- printf "%s\\n\");\n", $NF;
- }
- }
- /^[ ]*NO WARRANTY[ ]*$/ {
- print " immediate_quit--;";
- print "}";
- print "";
- print "static void";
- print "warranty_info ()";
- print "{";
- print " immediate_quit++;";
- }
- /^[ ]*NO WARRANTY[ ]*$/, /^[ ]*END OF TERMS AND CONDITIONS[ ]*$/{
- if (! ($0 ~ /^[ ]*END OF TERMS AND CONDITIONS[ ]*$/))
- {
- printf " printf_filtered (\"";
- for (i = 1; i < NF; i++)
- printf "%s\\\"", $i;
- printf "%s\\n\");\n", $NF;
- }
- }
- END {
- print " immediate_quit--;";
- print "}";
- print "";
- print "void"
- print "_initialize_copying ()";
- print "{";
- print " add_info (\"copying\", copying_info,";
- print " \"Conditions for redistributing copies of GDB.\");";
- print " add_info (\"warranty\", warranty_info,";
- print " \"Various kinds of warranty you do not have.\");";
- print "}";
- }
-
-
-
-